Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
141	Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency Aaron Turon Derek Dreyer Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-07-22 04:30:15 Mathematical logic Logic Theoretical computer science Logic in computer science Predicate logic Philosophical logic Automated theorem proving Logic programming Hoare logic Separation logic Unification Combinatory logic
142	02157 Functional Programming - Collections: Sets and Maps Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:36:17 Mathematics Mathematical logic Abstraction Set Technical University of Denmark Function Category of sets
143	Resum´e Kristoffer Høgsbro Rose, Ph.D. , & (+SeptemberEmployment Add to Reading List Source URL: krisrose.net Language: English - Date: 2015-09-22 13:54:54 Computing Theoretical computer science Programming language theory Logic in computer science Formal languages Lambda calculus Functional languages Markup languages Explicit substitution International Conference on Rewriting Techniques and Applications XSLT Combinatory logic
144	OSSIA: TOWARDS A UNIFIED INTERFACE FOR SCORING TIME AND INTERACTION Jean-Michaël Celerier Blue Yeti Add to Reading List Source URL: tenor2015.tenor-conference.org Language: English - Date: 2015-05-26 15:55:56 Software engineering Concurrency Models of computation Constraint programming Diagrams Programming paradigms Formal methods Theoretical computer science Petri net Constraint logic programming Decomposition method
145	Functional Programming with Pros and Cons Benny H¨ ockner and Peter Sauer and Petra Hofstedt Brandenburg University of Technology, Cottbus {benny.hoeckner,peter.sauer,petra.hofstedt}@tu-cottbus.de Add to Reading List Source URL: www.bioinf.uni-leipzig.de Language: English - Date: 2013-05-14 07:18:27 Declarative programming Constraint programming Software engineering Programming paradigms Computer programming Constraint logic programming Logic programming Constraint satisfaction Concurrent constraint logic programming
146	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning II” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:30:22 Logic Logical truth Mathematical logic Theoretical computer science Model theory Automated theorem proving Logic programming Philosophy of logic Satisfiability Substitution Boolean satisfiability problem
147	The Pennsylvania State University The Graduate School College of Earth and Mineral Sciences DOES TOPOLOGY PREDICT GEOGRAPHIC (2D) EVENT SEGMENTATION? Add to Reading List Source URL: www.geovista.psu.edu Language: English - Date: 2016-07-01 14:44:38 Knowledge representation Reasoning Logic Mathematics Computational topology Constraint programming Region connection calculus Mathematical logic Ontology Topology Image segmentation Topological space
148	Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta May 28, 2014 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution FO
149	PROGRAMS WITH COMMON SENSE John McCarthy Computer Science Department Stanford University Stanford, CA 94305 Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:16:08 Logic Reasoning Logic programming Logical truth Propositional calculus Logical consequence Advice taker Logic Theorist Argument Rule of inference Substitution First-order logic